(Eng:
conjunctive normal form: CNF) 1. In de propositie- en predikaten-logica is dit de vorm van een propositie die wordt geschreven als EN-bewerkingen van een aantal clausules die zelf OF-bewerkingen van proposities zijn zoals in: (X OF Y) EN (A OF-NIET B) Indien de totale propositie WAAR is, is iedere clausule ook WAAR. 2. De vorm van het ...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
conjunctive normal form: CNF) 1. In de propositie- en predikaten-logica is dit de vorm van een propositie die wordt geschreven als EN-bewerkingen van een aantal clausules die zelf OF-bewerkingen van proposities zijn zoals in: (X OF Y) EN (A OF-NIET B) Indien de totale propositie WAAR is, is iedere clausule ook WAAR. 2. De vorm van het ...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
